Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
751	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
752	Aggregate Loss Model A Quarter Century of Aggregate Loss Computations Random sum of non-negative iid random variables Add to Reading List Source URL: lx2.saas.hku.hk Language: English - Date: 2005-04-04 16:01:03 Poisson processes Probability distributions Actuarial science Generating functions (a b 0) class of distributions Negative binomial distribution Poisson distribution Geometric distribution Probability-generating function Statistics Probability theory Mathematical analysis
753	Evaluation of Time-Order Error Predictions from a Model of Global Psychophysics Ragnar Steingrimsson and R. Duncan Luce Institute for Mathematical Behavioral Science University of California, Irvine Ragnar Steingrimsson Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Psi Function Constructible universe Linear temporal logic Mathematics Logic Mathematical logic
754	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematics Model theory Semantics First-order logic Linear temporal logic Function Atomic formula Quantification Predicate Logic Mathematical logic Predicate logic
755	Linear Logic, Heap-shape Patterns and Imperative Programming Limin Jia David Walker Princeton University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Model theory Predicate logic C programming language Struct Interpretation Pointer C++ classes ALGOL 68 Function Logic Mathematical logic Software engineering
756	A multiple model probability hypothesis density tracker for time-lapse cell microscopy sequences Seyed Hamid Rezatoﬁghi1,2 , Stephen Gould1 , Ba-Ngu Vo3 , Katarina Mele2 , William E. Hughes4,5 , and Richard Hartley1,6 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2013-04-01 21:37:53 Cluster analysis Machine learning Mixture model Markov chain Statistics Probability and statistics Gaussian function
757	Bayesian Optimisation for Informative Continuous Path Planning Roman Marchant and Fabio Ramos Abstract— Environmental monitoring with mobile robots requires solving the informative path planning problem. A key challeng Add to Reading List Source URL: www-personal.acfr.usyd.edu.au Language: English - Date: 2015-01-05 23:35:47 Motion planning Theoretical computer science Gaussian process Mixture model Regression analysis Robotics Variance Gaussian function Statistics Stochastic processes Statistical models
758	Tamagotchi specification with OCTOPUS Elena Torres, Gerhard Landeck Seminar Software Engineering Fachbereich Informatik. Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2007-08-26 06:05:19 Software engineering Software development Diagrams Software Systems analysis Object-modeling technique State diagram Function model Object diagram UML diagrams Infographics Object-oriented programming
759	Using a Black and White Webcam in RAW Mode for Astronomical Imaging By Philippe Bernascolle translated from French by Eamonn O’Fearchain and David Moore (www.astronomy.ie) Introduction Add to Reading List Source URL: www.astrosurf.com Language: English - Date: 2004-11-29 18:00:00 Optics Pixel Bayer filter RGB color model Image resolution Optical transfer function Digital camera Subpixel rendering Digital photography Imaging Computer graphics
760	An Alternative Approach to the Short Term Prediction of Residential Property Prices in Hong Kong An Alternative Approach to the Short Term Prediction of Residential Property Prices in Hong Kong Add to Reading List Source URL: www.hkis.org.hk Language: English - Date: 2014-05-15 23:27:20 Cybernetics Computational statistics Applied mathematics Interpolation Artificial neural network Economic model Activation function Radial basis function Forecasting Neural networks Computational neuroscience Statistics

UPDATE